Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
271	CCCG 2010, Winnipeg MB, August 9–11, 2010 Any Monotone Boolean Function Can Be Realized by Interlocked Polygons Erik D. Demaine∗ Martin L. Demaine∗ Add to Reading List Source URL: erikdemaine.org Language: English - Date: 2010-08-06 13:43:10 Mathematics 3D computer graphics Euclidean plane geometry Polygon Simple polygon Monotonic function Mathematical analysis Geometry Polygons
272	Analysis of HFE from a BDD point of view J.F Michon LIFAR∗ J.B. Yunes LIAFA† Add to Reading List Source URL: ccc.ustc.edu.cn Language: English - Date: 2006-10-24 07:55:03 Theoretical computer science Binary decision diagram Model checking Cryptography Boolean function Polynomial P Applied mathematics Boolean algebra Mathematics Diagrams
273	About myself I’m not a professional mathematician, I work as a programmer. I have been studying in a university in Russia but have not finished my study. So, I know little beyond my specialization. Nevertheless in my f Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2014-07-08 17:04:06 Structure Order theory Filter Lattice Topological space Electronic filter Continuous function Pretopological space Boolean prime ideal theorem Topology Mathematics General topology
274	Microsoft PowerPoint - session.16-18_a.ppt [Compatibility Mode] Add to Reading List Source URL: www.cool-ai.com Language: English - Date: 2008-11-19 00:39:09 Rules of inference Propositional calculus Automated theorem proving Boolean algebra Ground expression First-order logic Modus ponens Resolution Function Logic Mathematical logic Mathematics
275	ISMVL 2003 Information 33rd International Symposium on Multiple-Valued Logic[removed]May 2003 Meiji University, Tokyo, Japan Add to Reading List Source URL: science.icu.ac.jp Language: English - Date: 2003-05-13 23:21:56 Non-classical logic Logic in computer science Artificial intelligence Many-valued logic Fuzzy logic Algebraic logic Boolean algebra Logic gate Boolean function Logic Mathematical logic Mathematics
276	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
277	Journal on Satisfiability, Boolean Modeling and Computation[removed]Complexity of Semialgebraic Proofs with Restricted Degree of Falsity∗† Edward A. Hirsch Arist Kojevnikov Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-11-12 04:43:46 Mathematical logic Logic in computer science Computational complexity theory Proof complexity Function Mathematical proof Resolution Inequality Mathematics Theoretical computer science Automated theorem proving
278	Dichotomy for Holant* Problems with a Function on Domain Size 3 arXiv:submit[removed]cs.CC] 10 Jul[removed]Jin-Yi Cai∗ Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2012-07-10 14:19:30 Matrices Mathematical structures Boolean algebra Model theory Structure Universal algebra Adjacency matrix FKT algorithm Group action Mathematics Algebra Abstract algebra
279	Vol. 00 no[removed]Pages 1–7 BIOINFORMATICS From minimal signed circuits to the dynamics of Boolean regulatory networks Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2008-04-18 10:36:50 Function Exponentiation Dynamical system Signed graph Mathematics Functions and mappings Matroid theory
280	Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes Glynn Winskel c Glynn Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-13 09:46:14 Function Mathematical proof Mathematical induction Finitary relation Well-founded relation Unification Boolean algebra Propositional calculus Principia Mathematica Mathematics Logic Mathematical logic

UPDATE